The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lee masHuman-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...
Lee masAsia Information Retrieval Symposium (AIRS) 2006 was the third AIRS conf- ence in the series established in 2004.The ?rst ...
Lee masInnovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper ...
Lee masOne of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lee masThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee masThis book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Lee masThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
Lee masConstitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book ...
Lee masModel-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...
Lee masConstitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Lee masThis book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee masConstitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lee masThis book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lee masThe goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
Lee masThis book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Lee masAbstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Lee mas